Approximate reasoning for real-time probabilistic processes
نویسندگان
چکیده
منابع مشابه
Real-reward testing for probabilistic processes
We introduce a notion of real-valued reward testing for probabilistic processes by extending the traditional nonnegative-reward testing with negative rewards. In this richer testing framework, the may and must preorders turn out to be inverses. We show that for convergent processes with finitely many states and transitions, but not in the presence of divergence, the real-reward must-testing pre...
متن کاملAny Time Probabilistic Reasoning for Sensor Validation
For many real time applications, it is impor tant to validate the information received from the sensors before entering higher levels of reasoning. This paper presents an any time probabilistic algorithm for validating the in formation provided by sensors. The sys tem consists of two Bayesian network mod els. The first one is a model of the dependen cies between sensors and it is used to v...
متن کاملTaking It to the Limit: Approximate Reasoning for Markov Processes
We develop a fusion of logical and metrical principles for reasoning about Markov processes. More precisely, we lift metrics from processes to sets of processes satisfying a formula and explore how the satisfaction relation behaves as sequences of processes and sequences of formulas approach limits. A key new concept is dynamically-continuous metric bisimulation which is a property of (pseudo)m...
متن کاملApproximate Real-Time Clocks for Scheduled Events
This paper presents a simple protocol that provides application processes with an approximate real-time notion. This time notion is very versatile. At one extreme, it behaves at least as virtual time (being thereby consistent with causality). At the other extreme, it behaves as real-time. More precisely, with respect to approximate real-time all scheduled events are always executed at their sch...
متن کاملA VLSI Design and Implementation for a Real-Time Approximate Reasoning
AB STRACT. The role of inferencing with uncertainty is becoming more important in rule-based expert systems (ES) , since knowledge given by a human expert is often uncertain or imprecise. We have succeeded in designing a VLSI chip which can perform an entire inference process based on fuzzy logic. The design of the VLSI fuzzy inference engine emphasizes simplicity, extensibility, and efficiency...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2006
ISSN: 1860-5974
DOI: 10.2168/lmcs-2(1:4)2006